4 found
Order:
Disambiguations
H. C. M. De Swart [3]H. C. M. Swart [1]
  1.  16
    A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS.H. C. M. De Swart - 1983 - Journal of Symbolic Logic 48 (1):1 - 20.
  2.  20
    An Intuitionistically Plausible Interpretation of Intuitionistic Logic.H. C. M. De Swart - 1977 - Journal of Symbolic Logic 42 (4):564 - 578.
  3.  44
    Validity and quantification in intuitionism.H. C. M. Swart & C. J. Posy - 1981 - Journal of Philosophical Logic 10 (1):117 - 126.
    We distinguish three different readings of the intuitionistic notions of validity, soundness, and completeness with respect to the quantification occurring in the notion of validity, and we establish certain relations between the different readings. For each of the meta-logicalnotions considered we suggest that the "most natural" reading (which is not the same for all cases) is precisely the one which is required by the recent intuitionistic completeness theorems for IPC.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  39
    A Modern Perspective on Type Theory From its Origins until Today. [REVIEW]H. C. M. De Swart - 2006 - Journal of Logic, Language and Information 15 (3):297-302.